.src-snippet { margin-top: 2em; }
.src-name { font-weight: bold; }
.snippets {
    border-top: 1px solid #bdbdbd;
    border-bottom: 1px solid #bdbdbd;
}
{{ snippet_style }}
